#include <stdio.h>

#define ALIGN_UP(val, align) ((val + (align-1)) & ~(align-1))
#define ALIGN_DOWN(val, align) (val & ~(align-1))

void main(void)
{
	printf("%x\n", ALIGN_DOWN(0x1000, 0x1000));
}
